Typechecker - ImaginaryCTF 2023